$\forall$$w$:World, $i$, $x$:Id, $k$:Knd. w{-}machine{-}independent($w$;$i$;$k$;$x$) $\in$ Prop